Multiversion Serialization Graph(MVSG)
Ref: Weikum本
Definition 5.8 Multiversion Serialization Graph(MVSG)
For a given schedule $ m and a version order $ \ll, the multiversion serialization graph $ MVSG(m, \ll) of $ mthen is the conflict graph $ G(m) = (V,E)with the following edges added for each $ r_k(x_j) and $ w_i(x_i) in $ CP(m), where $ k, i,and $ j are pairwise distinct: if $ x_i \ll x_j, then $ (t_i, t_j) \in E, otherwise $ (t_k, t_i) \in E.
つまり，MV(H,<<)とSG(H)を合成したグラフのこと．
Weikum本ではG(m)と書いているがここではSG(H)とする．
このグラフが非循環であるならば必ず，そしてその時に限り(iff)，ヒストリ$ Hは MVSRである．